A Method of Deductive Logical Inference Proofs
نویسندگان
چکیده
منابع مشابه
A New Logical framework for Deductive Planning
In t.his pap~l' w~ P l'~SPllt. a lop;ira.J fra.IIlPwork for d~filling collsist.ellt axiomat.izat.ions of plallllillg doma.ills. A lallglla.ge to defiIle hasic actiollS alld stl'lIctmed plans is emhedded ill n. logic. Tlti~ allows g(~Ileral propert.ies of a whole planning scenario to be proved as well as pla,lls to he formed deductively. In particular, frame assert.ions and domain cOllst.raillts...
متن کاملA logical framework for temporal deductive databases
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملLogical and psychological analysis of deductive mastermind
The paper proposes a way to analyze logical reasoning in a deductive version of the Mastermind game implemented within the Math Garden educational system. Our main goal is to derive predictions about the cognitive difficulty of game-plays, e.g., the number of steps needed for solving the logical tasks or the working memory load. Our model is based on the analytic tableaux method, known from pro...
متن کاملFunctional Neuroanatomy of Deductive Inference
-40280 Inferior frontal gyrus (47)3.38-4444-6 Middle frontal gyrus (47)3.06-3424-12 Inferior frontal gyrus (47)2.78-5224-2 Inferior frontal gyrus (47)2.74-3244-6 Middle frontal gyrus (11)3.17-124036 Medial frontal gyrus (8)3.01 Concrete-101640 Cingulate gyrus (32)3.23-12 -96-2...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science
سال: 2008
ISSN: 1549-3636
DOI: 10.3844/jcssp.2008.345.348